A program that infers new facts from known facts using

inference rules. Commonly found as part of a Prolog

interpreter, expert system or knowledge based system.